poblacion(usa,203).
poblacion(india,548).
poblacion(china,800).
poblacion(espania,50).
area(usa,3).
area(india,1).
area(china,4).
area(espania,0.1).
densidad(X,Y):-poblacion(X,P),area(X3+2,A), Y is P/A.
fact(0,1).
fact(N,Salida):-N>0,T is N-1,fact(T,S1),Salida is N*S1.
pertenece(X,[X|_]).
pertenece(X,[_|Cola]):-pertenece(X,Cola).
longitud([],A,A).
longitud([_|Cola],A,Salida):-A2 is A+1,longitud(Cola,A2,Salida).
traduce([],[]).
traduce([H|J],[X|Y]):-traduce(J,Y).
f(X,0):-X=<3.
f(X,2):-X>=3,X=<6.
f(X,4):-X>=6.
invierte([C|Resto],Salida):-asserta(elemento(C)),invierte(Resto,Salida).
invierte([],[C|Resto]):-retract(elemento(C)),invierte([],Resto).
invierte([],[]).
retract_all(X).